复杂动态环境下无人飞行器动态避障近似最优轨迹规划

针对复杂动态环境下无人飞行器的动态障碍规避问题，基于合理假设建立了无人飞行器和动态障碍的运动学模型，并综合考虑无人飞行器飞行过程中的终端约束、控制输入约束、安全避障约束等，以能量最少为性能指标构建动态避障问题数学描述。之后，针对终端约束和控制输入约束，依据优化模型预测静态规划算法(OMPSP)生成初始轨迹；针对动态避障问题的不等式约束，引入松弛变量并结合滑模变结构控制方法设计松弛变量动力学，实现对一个、多个或同时多个动态障碍的安全规避；最后，依据有限时间微分动态规划(RHDDP)算法进行轨迹优化，获得满足上述各种约束并能规避动态障碍的近似最优轨迹。     

面向安全属性的软件组件可信依赖关系度量模型

随着软件的应用规模越来越大，软件系统一旦出现故障，很可能会造成人员伤亡或财产等重大损失，因此对软件可信性进行评估尤为重要.在安全攸关如航空航天等领域，作为可信关键属性之一的安全性影响着整个软件系统的可信评估.特别当一个组件受到安全攻击或缺陷出现时，可信性会下降，会影响到与它可信关联的组件可信性，从而影响到整个系统的可信性.遵循这一思路，设计了软件系统组件可信性发生改变后对其它组件可信性影响度量公式，进一步给出当一组件可信性发生变化，整个软件系统各组件可信性度量发生变化的度量模型.本文以某“航天电源管理设备”为例，证明了本文所建立的组件可信依赖关系度量模型的合理性和有效性.     

基于随机维纳过程的航空发动机性能衰退研究

针对发动机下发间隔预测的问题，研究了发动机性能衰退规律。基于发动机排气温度裕度（EGTM）数据，建立了随机维纳模型，并使用严酷度因子修正模型，表征不同的工作条件对发动机的影响。利用期望最大化（EM）算法结合贝叶斯定理，对模型参数求解，最终得到了基于性能衰退的发动机平均下发间隔。研究结果表明，在严酷度因子为1.2696的使用条件下，某型号航空发动机性能衰退平均下发间隔为8219循环；基于该模型预测的发动机平均下发间隔与厂商建议的下发时间之间的误差仅为1.7%。     

Advanced Pulsed Plasma Thrusters and Their Application as a Part of Small Spacecraft Propulsion Systems

The paper presents the research results of the effect of a capacitor energy storage device configuration on the specific characteristics of advanced modern propulsion systems based on the ablative pulsed plasma thrusters (APPT). These thrusters are designed to perform specific tasks within the small spacecrafts with the onboard power capacity up to 200 W.     

异构无人系统协同作战关键技术综述

针对异构无人系统的规模、异构性强弱，对异构无人系统进行了分类，引入了异构无人系统协同作战班组的概念以及应用设想，并通过城市环境中异构无人系统协同作战问题为牵引，提出了异构无人系统协同作战面临的挑战与解决思路，在此基础之上，从异构无人系统协同控制架构、协同任务规划、智能交互、目标感知、环境感知等主要方面对异构无人系统协同作战的关键技术进行了分析，最后对异构无人系统协同作战目前的研究进展与挑战进行了总结。     

Analysis of shells of revolution under symmetrical loading using the quadrature method

The application of the quadrature method [1] to analyzing the shells of revolution under symmetrical loading relative to the zero meridian is considered. The method can be treated as a generalization of the method presented in [2] to solve the Volterra integral equation of the second kind.     

光栅信号时钟脉冲细分的误差分析

简介时钟脉冲细分技术的原理，着重分析其细分误差因素，给出了计算实际最大细分数的理论公式，并论述了光栅最大运动速度、时钟脉冲分频数和实际最大细分数之间的关系，对光栅信号时钟脉冲细分系统的参数设计具有指导意义。     

面向高速切削加工的数控编程技术

分析高速切削加工所具有的特殊性及优点,并说明高速切削对数控编程方法的限制.针对传统编程方法,提出了满足高速切削加工的刀位轨迹特殊处理关键技术,并对其实现方法进行了较详尽的论述.同时,对高速切削数控编程中刀具载荷分析与速率优化、毛坯残留量自动分析等新技术的实现方法也进行了探讨.     

新型半导体导电类型判别仪设计与研制

在详细分析金属和半导体接触的整流理论基础上,通过增加补偿二极管、保护电路和数码显示电路改进了传统的三探针整流法,设计了一款用于对半导体材料导电类型判别的测试仪,实际运行结果表明该测试仪具有准确度高、电路结构简单、操作简便、成本低等特点,可满足实际生产和教学的需要.